Degree Spectra of Unary Relations on 〈ω,≤〉
نویسندگان
چکیده
A computable presentation of the linearly ordered set (ω,≤), where ω is the set of natural numbers and ≤ is the natural order on ω, is any linearly ordered set L = (ω,≤L) isomorphic to (ω,≤) such that ≤L is a computable relation. Let X be subset of ω and XL be the image of X in the linear order L under the isomorphism between (ω,≤) and L. The degree spectrum of X is the set of all Turing degrees of XL as one runs over all computable presentations of (ω,≤). In this paper we study the degree spectra of subsets of ω.
منابع مشابه
Spectra of structures and relations
We consider embeddings of structures which preserve spectra: if g : M → S with S computable, then M should have the same spectrum (as a structure) that g(M) has (as a relation on S). We show that the computable dense linear order L is universal for all countable linear orders under this notion of embedding, and we establish a similar result for the computable random graph G. Such structures are...
متن کاملUnary Quantiiers, Transitive Closure, and Relations of Large Degree
This paper studies expressivity bounds for extensions of rst-order logic with counting and unary quantiiers in the presence of relations of large degree. There are several motivations for this work. First, it is known that rst-order logic with counting quantiiers captures uniform TC 0 over ordered structures. Thus, proving expressivity bounds for rst-order with counting can be seen as an attemp...
متن کاملUnary Quanti ers, Transitive Closure, and Relations of Large Degree
This paper studies expressivity bounds for extensions of rst-order logic with counting and unary quanti ers in the presence of relations of large degree. There are several motivations for this work. First, it is known that rst-order logic with counting quanti ers captures uniform TC over ordered structures. Thus, proving expressivity bounds for rst-order with counting can be seen as an attempt ...
متن کاملSubclasses of Binary NPMarch 8 , 1996
Binary NP consists of all sets of nite structures which are expressible in existential second order logic with second order quanti cation restricted to relations of arity 2. We look at semantical restrictions of binary NP, where the second order quanti ers range only over certain classes of relations. We consider mainly three types of classes of relations: unary functions, order relations and g...
متن کاملThere is no ordering on the classes in the generalized high/low hierarchies
We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is decidable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008